Optimal observability in a linear income tax

We study the optimal observability of the tax base within the standard linear income tax problem, where observability is determined by the government’s investment into the accurate measurement of the tax base. We characterize the optimal level of observability and derive a new expression for the optimal progressivity, which – in addition to the standard equity efficiency trade-off – accounts for the limited accuracy of an income